Implication Details

Assumptions: exact filtered colimits, self-dual

Conclusions: exact cofiltered limits

Reason: This holds by self-duality.